The pirate-based logic of Rust shared references
ais523.me.uk·22h·
Discuss: Lobsters, Hacker News
🦀Rust Borrowing
VibeTDD Experiment 4.7: Commons and Examples Compilation - Making AI Smarter Through Better Documentation
dev.to·3h·
Discuss: DEV
⚡Proof Automation
Balance between refactoring and inheritance in your code
github.com·5h·
Discuss: Hacker News
✅Format Verification
Algebraic Types are not Scary
blog.aiono.dev·6h·
Discuss: Lobsters, Hacker News
🧮Algebraic Datatypes
A Lisp compiler to ARM written in Lisp (2)
forum.ulisp.com·4h·
Discuss: Hacker News
🔗Lisp
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·8h
🔗Topological Sorting
Semantic Dictionary Encoding
falvotech.com·2h·
Discuss: Hacker News
🌀Brotli Dictionary
What is Algebraic about Algebraic Effects?
interjectedfuture.com·1h
✨Algebraic Effects
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·19h·
Discuss: Hacker News, r/programming, r/rust
🧮Z3 Solver
Pursuing a Trick a Long Way Just to See Where It Goes, with Simon Peyton Jones
popovit.ch·21h·
Discuss: Hacker News
💻Programming languages
Analyzing Lisp Redux: One Form At a Time
funcall.blogspot.com·2h·
Discuss: www.blogger.com
🔗Lisp
Polymorphic symmetric multiple dispatch with variance
dl.acm.org·4d·
Discuss: Hacker News
🔤Type Theory
ECMAScript TC39 proposal-pattern-matching
github.com·3h·
Discuss: Hacker News
🔤Type Theory
Casilda 1.0 released!
blogs.gnome.org·3h
📟Terminals
Pre-viva Talk - 02/10/2025
informatics.ed.ac.uk·4h
🤖Grammar Induction
What Does -> Mean in Python Function Definitions?
realpython.com·3h
λLambda Formalization
Extensibility In Lisp And Emacs
irreal.org·1h
🧠Lisp Dialects
Faux Type Theory: three minimalist OCaml simple proof checker implementations
github.com·2d·
Discuss: Hacker News
🔤Type Theory
Building a Simple Stack-Based Virtual Machine in Go
blog.phakorn.com·10h·
Discuss: r/golang, r/programming
🔧RISC-V Assembler
Show HN: Building an open-source agentic terminal
davehudson.io·47m·
Discuss: Hacker News
📟Terminals